perm filename IJCAI.TEX[AM,DBL] blob
sn#470900 filedate 1979-08-31 generic text, type C, neo UTF8
COMMENT ā VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 \input hsimp
C00004 00003 \def\sectionbegin#1{\hjust{\:=#1}
C00007 00004 \jpar 500
C00014 ENDMK
Cā;
\input hsimp
%\input hdr
% The following are special commands for final IJCAI page output
\def\sectionskip{\penalty-60\vskip 3pt plus 2pt minus 1pt}
\hsize 8.3xgpin \vsize 10xgpin \maxdepth 2pt \parindent 0pt \topbaseline 10pt
\parskip 10pt plus 2pt minus 1pt \lineskip 0pt
\topskip 24pt plus 6pt minus 10pt \botskip 3pt plus 6pt
\output{\baselineskip 0pt\lineskip0pt % beginning of output routine, resets skips
\vjust to 11xgpin{ % prepare the full page of this fixed height
\vskip 24pt % blank space in place of headlines
\hjust{\hskip -0.95xgpin\page} % insert the page contents
\vfill % extra space before the page number
} % completion of the \vjust
\advcount0} % increase page number by 1 and end output routine
\jpar 500
\def\1{\:a}
\def\0{\:a\ }
\def\2{\:q}
\def\3{\:t}
\def\4{\:n}
\def\5{\:<}
\def\6{\:r}
\setcount0 0 % page no
\setcount4 0 % main section no (=chapter no)
\setcount5 0
\setcount8 854 % This 854 will show up quickly if there is a bug somewhere
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\han #1{\hangindent #10pt for 99 \noindent}
\def\sectionbegin#1{\hjust{\:=#1}
\penalty 1000 \vskip 1pt
\acpmark{\chd}{\csec}
\noindent\ninepoint\!}
\def\subsectionbegin#1{\yyskip\noindent
{\bf#1.}\ninepoint\xskip\!}
\def\dimsectionbegin#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:?#1.}\ninepoint\xskip\!}\par \yskip}
\def\minsectionbegin#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:<#1}\ninepoint\xskip\!}\par \yskip}
\def\asecbegin#1{\hjust{bf APPENDIX #1}
\penalty 1000 \vskip 5pt plus 2pt
\acpmark{\chd}{\csec}
\noindent\ninepoint\!}
\def\asusecb#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{bf Appendix #1.}\ninepoint\xskip\!}\par \yskip}
\def\asssecbegin#1{\yyskip{\noindent
{it Appendix #1.}\ninepoint\xskip\!}\par \yskip}
\def\GET #1{\input #1 \vfill}
\def\GGET #1{}
\def\BN{\setcount8 0}
\def\inbox#1{\vjust{\hrule\hjust{\vrule\hskip 2pt
\vjust{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}
\def\hh{\advcount8 {\6\count8 . }}
\setcount9 1
\def\foo #1{\advcount9 {\footnote {\unskip
$ā{\count9}$\unskip}{#1}}}
\def\inv{\raise 2.1pt\hjust{\:d-1}}
\def\minv{{\scriptstyle{\raise 2.1pt\hjust{-1}}}}
\def\qq #1#2{\yskip \ninepoint
{\hangindent 11pt for 44 {\it \noindent #1}} \par
{\ctrline{\sl --- \ #2\0}}\ninepoint \yskip}
\def\hs#1#2{\yyskip \inbox{\inbox{\hjust{{\5 #1 . #2}}}} \yskip}
\def\hinbox#1{#1}
% \def\hinbox#1{\inbox{\hjust{{ #1 }}}}
\def\bh{\ninepoint \parindent 0pt \parskip 1pt \yskip \sl}
\def\eh{\ninepoint \parindent 0pt \parskip 0pt \yskip \rm}
\jpar 500
\def\1{\:a}
\def\0{\:a\ }
\def\2{\:q}
\def\3{\:t}
\def\4{\:n}
\def\5{\:<}
\def\6{\:r}
\setcount0 0 % page no
\setcount4 0 % main section no (=chapter no)
\setcount5 0
\setcount8 854 % This 854 will show up quickly if there is a bug somewhere
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\han #1{\hangindent #10pt for 99 \noindent}
\def\sectionbegin#1{\hjust{\:=#1}
\penalty 1000 \vskip 1pt
\acpmark{\chd}{\csec}
\noindent\ninepoint\!}
\def\subsectionbegin#1{\yyskip\noindent
{\bf#1.}\ninepoint\xskip\!}
\def\dimsectionbegin#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:?#1.}\ninepoint\xskip\!}\par \yskip}
\def\minsectionbegin#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:<#1}\ninepoint\xskip\!}\par \yskip}
\def\asecbegin#1{\hjust{\bf APPENDIX #1}
\penalty 1000 \vskip 2pt plus 1pt
\acpmark{\chd}{\csec}
\noindent\ninepoint\!}
\def\asusecb#1{\yyskip
{\noindent{\bf Appendix #1.}\ninepoint\xskip\!}\par \yskip}
\def\asssecbegin#1{\yyskip{\noindent
{\it Appendix #1.}\ninepoint\xskip\!}\par \yskip}
\def\GET #1{\input #1 \vfill}
\def\GGET #1{}
\def\BN{\setcount8 0}
\def\inbox#1{\vjust{\hrule\hjust{\vrule\hskip 2pt
\vjust{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}
\def\hh{\advcount8 {\6\count8 . }}
\setcount9 1
\def\foo #1{\advcount9 {\footnote {\unskip
$ā{\count9}$\unskip}{#1}}}
\def\inv{\raise 2.1pt\hjust{\:d-1}}
\def\minv{{\scriptstyle{\raise 2.1pt\hjust{-1}}}}
\def\qq #1#2{\yskip \ninepoint
{\hangindent 11pt for 44 {\it \noindent #1}} \par
{\ctrline{\sl --- \ #2\0}}\ninepoint \yskip}
\def\hs#1#2{\yyskip \inbox{\inbox{\hjust{{\5 #1 . #2}}}} \yskip}
\def\hinbox#1{#1}
% \def\hinbox#1{\inbox{\hjust{{ #1 }}}}
\def\bh{\ninepoint \parindent 0pt \parskip 1pt \yskip \sl}
\def\eh{\ninepoint \parindent 0pt \parskip 0pt \yskip \rm}
\def\TITL #1{
\titlepage\ninepoint
\runninglefthead{#1}
\vfill
\advcount8
\runningrighthead{{ }}
\section{{ }}
\eject
\ctrline{\:;#1}
\vskip 9pt plus 2pt
\acpmark{\chd}{\csec}
\noindent\ninepoint\!
}
\def\AUTHO #1{
\ctrline{\:>#1}
\vskip 3pt plus 1 pt
}
\def\NSECP #1{
\titlepage\ninepoint
\vskip 11pt plus 3pt minus 2pt
\advcount4
\gdef\grrh{#1}
\runningrighthead{#1}
\section{\count4}
\sectionskip
\sectionbegin{\count4. #1}
\setcount5 0
% \setcount9 0
}
\def\SSEC #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{\count4.\count5}
\sectionskip
\minsectionbegin{\count4.\count5. #1}
}
\def\SSSEC #1{
\advcount6
\setcount7 0
\runningrighthead{\grrh}
\section{\count4.\count5.\count6}
\sectionskip
\dimsectionbegin{\count4.\count5.\count6. #1}
}
\def\ASEC #1{
\titlepage\ninepoint
\vskip 12pt plus 3pt minus 2pt
\advcount4
\gdef\grrh{#1}
\runningrighthead{#1}
\section{App. \count4 }
\sectionskip
\asecbegin{\count4. #1}
\setcount5 0
\setcount9 0
}
\def\SSECP #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{\count4.\count5}
\eject
\minsectionbegin{\count4.\count5. #1}
}
\def\ASSEC #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{App. \count4.\count5}
\sectionskip
\asusecb{\count4.\count5. #1}
}
\def\ASSECP #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{App. \count4.\count5}
\eject
\asusecb{\count4.\count5. #1}
}
\def\ASSSEC #1{
\advcount6
\setcount7 0
\runningrighthead{\grrh}
\section{App. \count4.\count5.\count6}
\sectionskip
\asssecbegin{\count4.\count5.\count6. #1}
}
\def\NNSECP #1{ % no section no. printed; useful for, e.g., acknowledgements
\titlepage\ninepoint
\vskip 9pt plus 3pt minus 1pt
\advcount8
\gdef\grrh{{}}
\runningrighthead{{}}
\section{{ }}
\sectionskip
\ctrline{\:=#1}
\penalty 1000 \vskip 3pt
\acpmark{\chd}{\csec}
\noindent\ninepoint\!
\setcount5 0
\setcount9 0
\par\vskip 2pt plus 1pt
}